非古典邏輯是反對古典邏輯的基本預設而出現的邏輯系統。比方來說，古典邏輯是二值邏輯與外延性（extensional）邏輯，而部分非古典邏輯則是多值邏輯與/或內含性（intensional）邏輯。在本課程中，我們將介紹幾個在哲學上重要的內含性邏輯系統，這些包括：正規模態邏輯系統K、D、T、B、S4、S5等，非正規模態邏輯系統S1、S2等，虛擬條件句邏輯、直覺邏輯及相關邏輯；我們也將介紹幾種在哲學上重要的多值邏輯系統，如K3、L3 、LP及模糊邏輯（如果時間許可）。再比方說，在古典邏輯中，從矛盾的前提我們可以推論出任何的結論(ECQ)，但在部分非古典邏輯中，ECQ則不是有效的推論規則。在本課程中，我們也將介紹幾個在哲學上重要的、ECQ無效的邏輯系統，這些包括：LP、相關邏輯以及其它paraconsistent-邏輯系統（如果時間許可）。所有的討論均限於命題邏輯部分，部份後設證明將在課堂上講授，其餘則由學者自行閱讀。證明論以Semantic Tableau為主。和各種非古典邏輯有關的哲學問題也會在課堂上加以討論。